module M

() = (() :> _)
